1. Automata, language and programming: 12th colloquium, Nafplion, Greece, July 15-19, 1985
پدیدآورنده : edited by Wilfried Brauer
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع : Congresses ، Machine theory,Congresses ، Formal languages,Congresses ، Programming )Electronic computers(
رده :
QA
76
.
L4
v
.
194
2. Automatentheorie.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
3. Duration Calculus :
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع :
4. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
5. KI-95 : advances in artificial Intelligence : 19th Annual German Conference on Artificial Intelligence, Bielefeld, Germany, September 11-13, 1995 , proceedings
پدیدآورنده : Ipke Wachsmuth, Claus-Rainer Rollinger, Wilfried Brauer )eds.(
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : Congresses ، Artificial intelligence
رده :
QA
76
.
L28
Vol
.
981
6. Logic and Algebra of Specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer Communication Networks.,Computer science.,Logic design.
رده :
QA76
.
9
.
M35
E358
1993
7. Logic and algebra of specification
پدیدآورنده : edited by Friedrich L. Bauer, Wilfried Brauer, Helmut Schwichtenberg
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع : ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
رده :
QA
76
.
9
.
M35N37
1991
8. Net theory and applications.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Machine theory -- Congresses.,Nets (Mathematical) -- Congresses.,Petri nets -- Congresses.
9. Studien- und Forschungsführer Informatik :
پدیدآورنده : von Wilfried Brauer, Siegfried Münch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computers and Education.,Education.,Educational Technology.
رده :
QA76
.
V669
1996
10. Studien- und Forschungsführer Informatik
پدیدآورنده : von Wilfried Brauer, Wolfhart Haacke, Siegfried Münch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
رده :
QA76
.
V669
1984
11. Studien- und Forschungsführer Informatik
پدیدآورنده : von Wilfried Brauer, Wolfhart Haacke, Siegfried Münch.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Computer science.
رده :
QA76
.
V669
1989
12. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
13. 3. [i.e. dritte] Jahrestagung :
پدیدآورنده : Hrsg. in Auftrag der Gesellschaft für Informatik von Wilfried Brauer.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Electronic data processing -- Congresses.,Electronic data processing.,Electronic digital computers -- Congresses.
